// Portal to Sky Ferry <To Ereve>

void portal(Player @player, Portal @portal) {
player.changeMap(101000400, "out00");
}